Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
571	The Mathematical Needs of Urban Indigenous Primary Children: A Western Australian Snapshot Chris Hurst Len Sparrow Add to Reading List Source URL: mic.aamt.edu.au Language: English Knowledge English-language learner Numeracy Cognition Ready schools Achievement gap in the United States Education Mathematics education NAPLAN
572	The Code Expander Generator Frans Kaashoek Koen Langendoen Dept. of Mathematics and Computer Science Vrije Universiteit Amsterdam, The Netherlands Add to Reading List Source URL: tack.sourceforge.net Language: English - Date: 2011-02-11 16:00:22 Source code Procedural programming languages C++ Assembly language Programming language implementation Pointer C Subroutine X86 assembly language Computer programming Computing Software engineering
573	Learning of Graph Rules for Question Answering Diego MOLLA and Menno VAN ZAANEN Centre for Language Technology, Macquarie University Sydney, Australia, {diego,menno}@ics.mq.edu.au Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2005-11-17 06:12:36 Information science Computational linguistics Information retrieval Natural language processing Question answering Graph rewriting Graph Open domain question answering Question Graph theory Science Mathematics
574	Core Library Tutorial Chen Li, Chee Yap, Sylvain Pion, Zilin Du and Vikram Sharma Department of Computer Science Courant Institute of Mathematical Sciences New York University New York, NY 10012, USA Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2004-11-13 12:03:48 Computer architecture Floating point Arbitrary-precision arithmetic Machine epsilon Approximations of π Algorithm Cell Numerical analysis Bc programming language Computer arithmetic Mathematics Computing
575	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
576	A Graphical Language for Proof Strategies Gudmund Grov1 , Aleks Kissinger2 and Yuhui Lin1 1 School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK, {G.Grov,Y.Lin}@hw.ac.uk Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-14 06:14:48 Graph rewriting Search algorithms Lambda calculus Graph Depth-first search Combinatory logic Planar graph Graph theory Theoretical computer science Mathematics
577	KIMBERLEY SuccessZone Mathematics teaching in the Kimberley Advancing professional conversations Add to Reading List Source URL: mic.aamt.edu.au Language: English Educational psychology Mathematics education Statistics education English-language learner Australian Association of Mathematics Teachers E-learning Education Knowledge Philosophy of education
578	How to say why (in AI4FM) Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside School of Computing Science, Newcastle University {name.surname}@newcastle.ac.uk October 30, 2013 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-21 06:16:22 Theoretical computer science Formal methods Proof assistant Mathematical proof Theorem KeY Rippling Isabelle Specification language Logic Mathematics Automated theorem proving
579	The ACK Pascal Compiler Aad Geudeke Frans Hofmeester Dept. of Mathematics and Computer Science Vrije Universiteit Amsterdam, The Netherlands Add to Reading List Source URL: tack.sourceforge.net Language: English - Date: 2011-02-11 16:00:24 Procedural programming languages Compiler construction Programming language implementation Source code C programming language Pascal Compiler C Switch statement Software engineering Computing Computer programming
580	Tobias Nipkow, Gerwin Klein Concrete Semantics with Isabelle/HOL April 8, 2015 Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:05 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic

UPDATE